Unboxing Curry 2.5